#!/bin/csh
# Ping specified host, interleave with timestamp
if ($#argv != 1) then
  echo "pingLog [hostname]"
  exit 1
endif

set host = $argv[1]

while (1) 
  date
  ping -c 5 -i 3 $host
end
